Rules for dotted terminal